Higher-order logic

Results: 178



#Item
4123rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2013-02-08 18:19:58
    42The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

    The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

    Add to Reading List

    Source URL: www.itu.dk

    Language: English - Date: 2004-11-03 09:40:39
    43Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

    Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

    Add to Reading List

    Source URL: www.itu.dk

    Language: English - Date: 2008-06-03 10:17:56
    44Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

    Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

    Add to Reading List

    Source URL: www.monad.me.uk

    Language: English - Date: 2011-04-11 06:46:45
      45Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

      Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

      Add to Reading List

      Source URL: www.margaretmorgan.com

      Language: English - Date: 2001-09-10 11:02:20
        46Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

        Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

        Add to Reading List

        Source URL: www.tac.mta.ca

        Language: English - Date: 2000-12-30 13:43:21
          47Optimizing the Runtime Processing of Types in a Higher-Order Logic Programming Language Gopalan Nadathur and Xiaochu Qi Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 U

          Optimizing the Runtime Processing of Types in a Higher-Order Logic Programming Language Gopalan Nadathur and Xiaochu Qi Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 U

          Add to Reading List

          Source URL: www-users.cs.umn.edu

          Language: English - Date: 2005-09-13 14:30:33
            48Intro First-order theories Higher-order theories

            Intro First-order theories Higher-order theories

            Add to Reading List

            Source URL: www.lama.univ-savoie.fr

            Language: English - Date: 2010-09-16 03:38:56
            49Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

            Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

            Add to Reading List

            Source URL: www.eis.mdx.ac.uk

            Language: English - Date: 2014-12-16 18:16:46
              50The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-order Pushdown Automata Arnaud Carayol1 and Stefan W¨ohrle2 1

              The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-order Pushdown Automata Arnaud Carayol1 and Stefan W¨ohrle2 1

              Add to Reading List

              Source URL: www-igm.univ-mlv.fr

              Language: English - Date: 2008-01-14 11:13:55